_require local "../basis.smi"
_require local "./export-lex.smi"
